写成向量形式即为 . 证毕.